Merge branch 'ricotz/for-master' into 'master'
authorRico Tzschichholz <ricotz@ubuntu.com>
Fri, 31 Jul 2020 19:31:40 +0000 (19:31 +0000)
committerRico Tzschichholz <ricotz@ubuntu.com>
Fri, 31 Jul 2020 19:31:40 +0000 (19:31 +0000)
commit746a40bbfe279f257e1232dad5b7655486112024
treee05b45c098c1f551c96051c7a21134a7e266b27f
parent1087ff48f03097523a2138e47e7a6e09183ab5ae
parentd1cab4fbdd97de9f4ba6da4a2db412eef01cbd42
Merge branch 'ricotz/for-master' into 'master'

Add annotations to improve GIR API

See merge request GNOME/gtk!2332